perm filename FOO[1,JMC]30 blob
sn#855338 filedate 1988-04-01 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00029 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00005 00002 ∂25-Mar-88 0800 JMC
C00007 00003 ∂25-Mar-88 1601 MPS john deming
C00008 00004 ∂25-Mar-88 1937 phr%widow.Berkeley.EDU@lilac.berkeley.edu anti-Apple action
C00014 00005 ∂26-Mar-88 1445 RDZ@Score.Stanford.EDU Computational Intelligence
C00015 00006 ∂26-Mar-88 1546 CLT I accepted the Feigenbaum invitation.
C00016 00007 ∂26-Mar-88 2021 FEIGENBAUM@SUMEX-AIM.Stanford.EDU Re: party
C00018 00008 ∂27-Mar-88 1741 helen@psych.Stanford.EDU Re: dinner tonight? or
C00019 00009 ∂27-Mar-88 1745 helen@psych.Stanford.EDU re: dinner tonight? or
C00020 00010 ∂27-Mar-88 2047 Qlisp-mailer futures in boyer, benchmark < 4 seconds
C00022 00011 ∂28-Mar-88 0353 yang%vax.runit.unit.uninett@TOR.nta.no IFIP Working Conf. in China, July 88.
C00050 00012 ∂28-Mar-88 0800 JMC
C00051 00013 ∂28-Mar-88 1128 VAL
C00052 00014 ∂28-Mar-88 1327 VAL Commonsense and Nonmonotonic Reasoning Seminar
C00054 00015 ∂29-Mar-88 0032 yang%vax.runit.unit.uninett@TOR.nta.no re: IFIP Working Conf. in China, July 88.
C00059 00016 ∂29-Mar-88 0707 LARSEN%UMDC.BITNET@forsythe.stanford.edu TTAC summary
C00068 00017 ∂29-Mar-88 0800 JMC
C00069 00018 ∂29-Mar-88 0904 RFN
C00070 00019 ∂29-Mar-88 1316 wheaton@athena.stanford.edu Retreat
C00071 00020 ∂29-Mar-88 1324 VAL re: YSP
C00072 00021 ∂29-Mar-88 1329 Qlisp-mailer Meeting
C00074 00022 ∂29-Mar-88 1442 Qlisp-mailer new new-qlisp
C00076 00023 ∂29-Mar-88 1825 LARSEN%UMDC.BITNET@forsythe.stanford.edu re: TTAC summary
C00078 00024 ∂29-Mar-88 1854 rms%venus.Berkeley.EDU@Berkeley.EDU
C00080 00025 ∂29-Mar-88 2115 BEDIT@Score.Stanford.EDU Summary of February computer charges.
C00083 00026 ∂30-Mar-88 1209 helen@psych.Stanford.EDU Hi, would you
C00084 00027 ∂31-Mar-88 0831 MPS Publisher
C00085 00028 ∂31-Mar-88 1636 VAL Reminder: Commonsense and Nonmonotonic Reasoning Seminar
C00087 00029 ∂31-Mar-88 1718 beeson%ucscd.UCSC.EDU@ucscc.UCSC.EDU reprint request
C00090 ENDMK
C⊗;
∂25-Mar-88 0800 JMC
Hertz lunch and meeting at aaai office
∂25-Mar-88 1601 MPS john deming
John Deming called today (851-0121) and would like to see
you concerning a discussion you and he had about Intellectual
Property Rights, a paper he has written and will have published.
You expressed some interest to him on the subject. He was one
of your late afternoon students this past quarter.
Also, on another matter. Bob Floyd wants me to run an errand
for him and get a new tape for hs answer machine. I also have
to return your air tickets to Franklin. Left at 4:00. Have
a good weekend. See you Monday.
Pat
∂25-Mar-88 1937 phr%widow.Berkeley.EDU@lilac.berkeley.edu anti-Apple action
Received: from lilac.berkeley.edu by SAIL.Stanford.EDU with TCP; 25 Mar 88 19:37:29 PST
Received: from web6a.berkeley.edu
by lilac.berkeley.edu (5.54 (CFC 4.22.3)/1.16.18)
id AA27801; Sat, 26 Mar 88 03:37:35 GMT
Received: by web6a.berkeley.edu (3.2/SMI-3.0DEV3.7MXl)
id AA06403; Fri, 25 Mar 88 19:37:48 PST
Date: Fri, 25 Mar 88 19:37:48 PST
From: phr%widow.Berkeley.EDU@lilac.berkeley.edu
Message-Id: <8803260337.AA06403@web6a.berkeley.edu>
To: jmc@sail.stanford.edu
Subject: anti-Apple action
Cc: rms%venus.Berkeley.EDU@lilac.berkeley.edu
RMS asked me to send you this so you can post it on Stanford computers,
but he asks that his name not be mentioned in it so that people
knowing of his activities and disagreeing with them won't be turned off
by it. Please edit it as appropriate for your computers.
===================================================================
From agate!web6a.berkeley.edu!phr Fri Mar 25 19:34:34 PST 1988
Article 1949 of ca.general:
Path: agate!web6a.berkeley.edu!phr
>From: phr@web6a.berkeley.edu (Paul Rubin)
Newsgroups: ca.general
Subject: Protest against Apple planned
Keywords: Keep your lawyers off my computer!
Message-ID: <8045@agate.BERKELEY.EDU>
Date: 26 Mar 88 03:18:09 GMT
Sender: usenet@agate.BERKELEY.EDU
Reply-To: phr@widow.berkeley.edu.UUCP (Paul Rubin)
Organization: University of California, Berkeley
Lines: 32
[This is from some people trying to organize some sort of protest in
order to turn public opinion against Apple. We are thinking of
picketing Apple's Cupertino plant during a lunch hour and giving out
buttons showing an Apple logo with fangs, or maybe doing something
else instead (your ideas are solicited). Send me mail
(phr@widow.berkeley.edu) if you're interested in helping, or are
willing to show up and be heard. We will announce the date and time
here once it's been decided.
Please, please, reply by mail, not to the net; this message is an
attempt to get in touch with people who agree with us on the issue and
are willing to do something about it, not to stimulate an argument
between the readers. ESPECIALLY please don't post followups to this
newsgroup about whether you think the suit is good or bad. Use the
misc.legal and talk.politics groups for that.]
Would anyone interested in participating in various forms of lawful public
protest against Apple (on account of their lawsuit) please contact us?
A group of people (with nothing but this in common) are getting together
to do whatever we can.
Many people work for Apple or do business with Apple because of a
perception that Apple is helping to make the world a better place.
Now Apple is working actively to make the world a worse place: that
perception is contrary to fact, but many people are unaware of this
and proceed to help Apple as if Apple still deserved it.
We intend to bring these facts to the attention of such people,
especially people in the Bay Area who might consider working for Apple
in the future. We hope to make the executives of Apple regret their
lawsuit and drop it, so that Apple might once again deserve public
esteem, and to make other companies more reluctant to behave this way.
∂26-Mar-88 1445 RDZ@Score.Stanford.EDU Computational Intelligence
Received: from Score.Stanford.EDU by SAIL.Stanford.EDU with TCP; 26 Mar 88 14:45:13 PST
Date: Sat 26 Mar 88 14:40:44-PST
From: Ramin Zabih <RDZ@Score.Stanford.EDU>
Subject: Computational Intelligence
To: jmc@Sail.Stanford.EDU
Message-ID: <12385503138.16.RDZ@Score.Stanford.EDU>
I put your copy of the McDermott issue back on your desk.
Ramin
-------
∂26-Mar-88 1546 CLT I accepted the Feigenbaum invitation.
So did I. Guess they should know for sure we are coming!
∂26-Mar-88 2021 FEIGENBAUM@SUMEX-AIM.Stanford.EDU Re: party
Received: from SUMEX-AIM.Stanford.EDU by SAIL.Stanford.EDU with TCP; 26 Mar 88 20:20:59 PST
Date: Sat, 26 Mar 88 20:22:38 PST
From: Edward Feigenbaum <FEIGENBAUM@SUMEX-AIM.Stanford.EDU>
Subject: Re: party
To: CLT@SAIL.Stanford.EDU
cc: jmc@SAIL.Stanford.EDU
In-Reply-To: Message from "Carolyn Talcott <CLT@SAIL.Stanford.EDU>" of Sat, 26 Mar 88 12:13:00 PST
Message-ID: <12385565379.14.FEIGENBAUM@SUMEX-AIM.Stanford.EDU>
Thanks, Carolyn, thanks John!
See you at the restaurant. I'm sure all the sushi wont be gone, even if you
get there 6:30 or 6:45.
I'll send specific information/directions shortly.
Ed
-------
∂27-Mar-88 1741 helen@psych.Stanford.EDU Re: dinner tonight? or
Received: from psych.Stanford.EDU by SAIL.Stanford.EDU with TCP; 27 Mar 88 17:41:33 PST
Received: by psych.Stanford.EDU (3.2/4.7); Sun, 27 Mar 88 17:38:44 PST
Date: Sun, 27 Mar 88 17:38:44 PST
From: helen@psych.Stanford.EDU (Helen Cunningham)
To: JMC@SAIL.Stanford.EDU
Subject: Re: dinner tonight? or
HI there,
Well tonight isn't possible, but lunch on
Wednesday would be good. Let me know if 'tis ok
with you. Say 1 p.m.?
-helen
∂27-Mar-88 1745 helen@psych.Stanford.EDU re: dinner tonight? or
Received: from psych.Stanford.EDU by SAIL.Stanford.EDU with TCP; 27 Mar 88 17:45:01 PST
Received: by psych.Stanford.EDU (3.2/4.7); Sun, 27 Mar 88 17:42:12 PST
Date: Sun, 27 Mar 88 17:42:12 PST
From: helen@psych.Stanford.EDU (Helen Cunningham)
To: JMC@SAIL.Stanford.EDU
Subject: re: dinner tonight? or
Ok see you then and there!
-h
∂27-Mar-88 2047 Qlisp-mailer futures in boyer, benchmark < 4 seconds
Received: from Gang-of-Four.Stanford.EDU by SAIL.Stanford.EDU with TCP; 27 Mar 88 20:47:49 PST
Received: by Gang-of-Four.Stanford.EDU (4.30/25-eef)
id AA09307; Sun, 27 Mar 88 20:47:43 pst
Date: Sun, 27 Mar 88 20:47:43 pst
From: Dan Pehoushek <pehoushe@Gang-of-Four.Stanford.EDU>
Message-Id: <8803280447.AA09307@Gang-of-Four.Stanford.EDU>
To: qlisp@Gang-of-Four.Stanford.EDU
Subject: futures in boyer, benchmark < 4 seconds
Using futures in the boyer program (code is in /pehoushek/pboyer.lisp)
the parallel version ran in less than 4 seconds! The speed-up
was 2.73 out of 4.
*******Shell Transcript********
> (dox (boyer-test) 4)
Time: 3929 Spawns: 3939
Time: 3924 Spawns: 4018
Time: 3816 Spawns: 2866
Time: 3812 Spawns: 3046
(BOYER-TEST)
Times (min mean stddev): 3812 3870.2 56.3
Spawn (min mean stddev): 2866 3467.2 516.0
NIL
> (time (boyer-test))
Elapsed real time = 11290 milliseconds
User cpu time = 10548 milliseconds
System cpu time = 1 milliseconds
Total cpu time = 10549 milliseconds
T
> (/ 10549 3870.2)
2.725699
> (/ (- (* 3879.2 4) 10549) 3467.2)
1.4327987
>
∂28-Mar-88 0353 yang%vax.runit.unit.uninett@TOR.nta.no IFIP Working Conf. in China, July 88.
Received: from tor.nta.no by SAIL.Stanford.EDU with TCP; 28 Mar 88 03:46:02 PST
Posted-Date: 28 Mar 88 13:34 +0100
Received: by tor.nta.no (5.54/3.21)
id AA18817; Mon, 28 Mar 88 13:37:14 +0200
Date: 28 Mar 88 13:34 +0100
From: Jianhua Yang <yang%vax.runit.unit.uninett@TOR.nta.no>
To: John McCarthy <JMC@sail.stanford.edu>,
John Sowa <sowa%ytvmt.BITNET@TOR.nta.no>
Message-Id: <164*yang@vax.runit.unit.uninett>
Subject: IFIP Working Conf. in China, July 88.
Dear invited speakers,
Prof. Arne Solvberg sent you an e.mail message for some days ago,
concerning the IFIP conference to be held in Guangzhou, China this July.
We have not heard anything from you since then. I am now trying to
send the message once more, in case the message was lost somewhere.
Could you please give us a quick answer. I need to send the information
about all participants to the Chinese organizers. Could you please
give us those pieces of information which are required in the enclosed
application form?
Thanks a lot for your help!
Sincerely yours,
Jianhua Yang.
Encl: the email message sent you for some days ago.
---------------------
>To: John Sowa <sowa@yktvmt.BITNET>,
> John McCarthy <JMC@sail.stanford.EDU>
>Cc: Jianhua Yang <yang@norunit.BITNET>
>Message-ID: inbox:46
>Subject: IFIP Working Conf. in China, July 4-8 '88,
> Visa for invited speakers.
To the invited speakers:
John McCarthy,
Raymond Reiter,
John Sowa,
We need your passport number in order to arrange for your visa
for China. Please inform us if your visa is arranged by somebody
else, so that we will know wether we have to concern ourselves.
Please inform us if you bring any accompanying person, and/or
if you want to participate in a post conference tour.
For your information, I also enclose the "e.mail" version of
CALL FOR PARTICIPATION for the working conference in which you
may find information about the post conference tour alternatives, etc.
Sincerely yours,
Arne Solvberg
PS: To John Sowa:
Dear John,
I don't have Raymond Reiter's e-mail address.
May I bother you to pass this message on to him?
Encl: CALL FOR PARTICIPATION.
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
International Federation for Information Processing (IFIP)
CALL FOR PARTICIPATION
----------------------
IFIP WG2.6/WG8.1 Working Conference on
The Role of Artificial Intelligence in
Databases and Information Systems
July 4-8, Guangzhou, China
--------------------------------------------------
The Working Conference is about The Role of Artificial Intelligence
in Databases and Information Systems as well as about the role of
Databases in Artificial Intelligence based systems.
The Working Conference features the invited speakers:
John McCarthy, Stanford University: "Knowledge about knowledge
in databases";
John Sowa, IBM: "Knowledge representation in databases,
information systems and natural language";
Raymond Reiter, University of Toronto: "Integrity constraints
in databases and knowledge bases".
During the 5-day conference 30 additional papers will be presented,
selected from a large number of submissions.
The participation is limited to 75 non-Chinese scientists, and 75
Chinese scientists.
Group travel will be arranged from Europe. Post conference tours in
China will be arranged provided that there is enough interest for
participating in the various tour alternatives. There will be a
social program for accompanying persons during the conference.
Persons who want to participate are requested to register promptly,
because of time consuming organizational details, like getting a
visa, etc.
In case of overbooking, first priority is given to authors of
accepted papers, WG-members, TC-members, and persons who are
involved in the organization of the conference (e.g. PC-members).
Next, authors of rejected papers and persons who are already on the
guest-lists of WG2.6 and WG8.1 will be invited to fill up the
remaining slots. Third priority is given to scientists without any
previous affiliation to IFIP-activities.
<paging ----------------------------------------------------------->
ORGANIZATION:
General Conference Chairperson:
A. Solvberg, Norwegian Inst. Techn., Univ. Trondheim, Norway
Program Committee Chairpersons:
R. Meersman, Univ. Tilburg, The Netherlands
C.H. Kung, Univ. Iowa, USA
Conference Co-Chairpersons:
S. Sa, People's Univ., P.R. China
C.S Tang, Academia Sinica, P.R. China
Conference Secretary:
J.J. v. Griethuysen, Philips, The Netherlands
Organization Committee:
K. Xu, P.R. China (Chair)
Z. Shi, P.R. China (Secretary)
Q. Yao, P.R. China (Local Arrangements)
S. Chen, P.R. China
Y. Gu, China
G. Wu, P.R. China
J. Yang, Norway
Program Committee:
R. Balzer USA E. Neuhold F.R. Germany
D. Beech USA G.M. Nijssen Australia
J. Bubenko Sweden A. Olive Spain
Y. Chen China A. Pirotte Belgium
E. Falkenberg The Netherlands R. v.d. Riet The Netherlands
M. Fox USA A. Robinson USA
A. Furtado Brazil C. Rolland France
C. Furukawa Japan E. Sandewall Sweden
H. Gallaire F.R. Germany H.J. Schneider F.R. Germany
G. Gardarin France A. Sernadas Portugal
F. Golshani USA Z. Shi China
L. Kerschberg USA L. Siklossy The Netherlands
R. Lee USA A. Solvberg Norway
V. Lum USA J. Sowa USA
L. Mark USA R. Stamper UK
J. Minker USA G. Wiederhold USA
M. Morgenstern USA B. Yao USA
B. Moulin Canada C. Zaniolo USA
<paging ----------------------------------------------------------->
FULL PAPERS (45 min.):
----------------------
Cauvet C., Proix C., Rolland C.: "Information systems design:
an expert system approach", France.
Dubois E.: "Logical support for reasoning about the specifica-
tion and the elaboration of requirements", Belgium.
Esculier C.: "Inheritances with exceptions: an approach based
on semantic tolerance", France.
Falkenberg E.D., van Kempen H., Mimpen N.: "Knowledge-based
information analysis support", F.R. Germany.
Jiang Y.J.: "A self-referential relational data model", UK.
Lum V., Wu T., Hsiao D.: "Integrating advanced techniques into
multimedia DBMS", USA.
Neuhold E.J., Schrefl M.: "A knowledge-based approach to
overcome structural differences in object oriented database
integration", F.R. Germany.
Nguyen G.T., Rieu D.: "Heuristic control on dynamic database
objects", France.
Qian W., Zhao Z.: "Temporal reasoning in DB", P.R. China.
Rundensteiner E.A.: "The role of AI in DB's versus the role of
DB theory in AI: an opinion", USA.
Schiff J.: "The design of a knowledge based economic modeling
tool (EMT) prototype", F.R. Germany.
Sernadas C., Fiadeiro J., Sernadas A.: "Object-oriented
conceptual modeling from law", Portugal.
Shao J., Bell D. A., Hull M.E.C.: "LQL: A unified language for
deductive database systems", UK.
Tang C., Yin B.: "Data dependency and undecidability in a model
of historical information system", P.R. China.
Twine S.: "Representing facts in KEE's frame language",
Australia.
Wan J.-C., Zhou C.-H.: "MEX-1: an expert system shell", P.R.
China.
Wieringa R., van de Riet R.: "Algebraic specification of object
dynamics in knowledge base domains", The Netherlands.
Wohed R.: "Diagnosis of Conceptual schemas", Sweden.
Zaniolo C., Sacca D.: "Rule rewriting methods in the implemen-
tation of the logic data language LDL", USA.
Zeng H., Tong Q., Yao W., Song X.: "HITKMS: a knowledge base
machine system supporting cooperative expert-system and
experiential learning", P.R. China.
Zhang C., Tzu Y.: "A model for maintaining compiled Prolog
databases", P.R. China.
Zhou L., Yang D., Fan Z., Zhu L.: "QKBMS/75 -- A knowledge base
management system growing from relational DBMS and logic
programming language", P.R. China.
SHORT PAPERS (20 min.):
-----------------------
Berztiss A.T.: "On information-control systems, object
orientation, and expert systems", USA.
Demolombe R., Illarramendi A., Blanco J.M.: "Semantic
optimization in data bases using artificial intelligence
tech.s", France.
Potter W.D., Nute D.: "d-KDL: an EDS environment incorporating
defeasible reasoning", USA.
Reimer U.: "On enriching the semantics of knowledge representa-
tion models: a claim and an approach", F.R. Germany.
Su B., Shi C., Wang K., Hu P., Shi H., Wang J.: "The architec-
ture of a distributed knowledge base system", P.R. China.
Shao J., Yao Q.: "A Knowledge-based query optimization system",
P.R. China.
Tang C.S., et. al.: "To connect the informal graphical design
methodology with the formal specification in information
system design", P.R. China.
van Assche F., Loucopoulos P., Speltincx G.: "A rule-based
approach to the development of information systems", Belgium.
<paging ----------------------------------------------------------->
DETAILS OF THE ARRANGEMENT ARE:
Conference fees:
The conference fee will be approx. USD 250. There will be a
social program for accompanying persons during the conference,
approx. 20-25 USD/day/person, including lunches.
Hotels:
The recommended hotel is:
East (Dong Fang) Hotel:
Double room .......... 40 USD/day
Single room .......... 30 USD/day
A limited number of guest rooms of the Scientific Garden
Building of "Guangzhou Association for Science & Technology"
(GAST) may be available:
Double room .......... 20 USD/day
Single room .......... 12 USD/day
The prices include breakfast.
Group travel from Europe:
Provided that there is enough interest, there will be arranged
a group travel from Europe. The details are:
Price: Approx. 2000 Swiss Francs, from any European country.
Outward trip July 1, evening, to Guangzhou via Hong
Kong. Individual returns from either Beijing or Hong
Kong.
<paging ----------------------------------------------------------->
Post conference tour alternatives:
There will be arranged post conference tours, if there are
enough participating persons (min. 10 persons for each tour
alternative). The details are:
Tour no. 1: July 9-17,
Guangzhou - Guilin - Xian - Beijing
Prices: 780 USD/person, in double room
900 USD/person, in single room
Tour no. 2: July 9-17,
Guangzhou - Xian - Chongqing - (boat) -
Yichang - Wuhan - Shanghai
Prices: 820 USD/person, in double room
940 USD/person, in single room
Transport to Beijing or Hong Kong is extra
Tour no. 3: July 9-12,
Guangzhou - Guilin - Guangzhou
Prices: 335 USD/person, in double room
390 USD/person, in single room
Tour no. 4: July 9-24
Guangzhou - Guilin - Xian - Chongqing - (boat) -
Yichang - Wuhan - Shanghai - Beijing
Prices: Approx. 1200 USD/person, in double room
1300 USD/person, in single room
NOTE: Please specify tour numbers in the order of preference in
the application form.
More about the post conference tours:
Guilin: beautiful landscape with rivers, hills, rocks, etc.
Boat trip on the Lijiang River.
Xian: with one of the oldest universities in the world and the
famous grave of thousands of statues of soldiers.
Chongqing: an important city in Chinese history.
Yichang: a 3-day boat tour on the Yangtze River from Chongqing
to Yichang will be an unforgettable experience.
Wuhan: the city where the first shot against the last dynasty
was fired.
Shanghai: the biggest industry city in China, the oldest and
most important port to the western.
Beijing: the capital of China, with many historical monuments
like the Forbidden City, Summer Palace, etc. A one-day
tour to the Great Wall from Beijing will make your China
visit even more unforgettable.
<paging ----------------------------------------------------------->
APPLICATION FOR PARTICIPATION
-----------------------------
IFIP WG2.6/WG8.1 Working Conference on
The Role of Artificial Intelligence in
Databases and Information Systems
July 4-8, 1988, Guangzhou, China
---------------------------------------------------------
! NB Deadline for application is March 7, 1988 NB !
---------------------------------------------------------
Name________________________________________________________________
Last First Middle
Title_______________________Position________________________________
Nationality______________________Passport No________________________
Affiliation_________________________________________________________
Address_____________________________________________________________
____________________________________________________________________
____________________________________________________________________
City_____________________________State______________________________
ZIP______________________________Country____________________________
Phone_______________________________________________________________
Telefax_____________________________________________________________
Net Address_________________________________________________________
____________________________________________________________________
Accompanying persons (name, nationality, passport no.):
____________________________________________________________________
____________________________________________________________________
____________________________________________________________________
____________________________________________________________________
<paging ----------------------------------------------------------->
Wish to participate in group travel from Europe:
Yes_____
If yes, number of persons: _____
No _____
Wish to return Europe from:
Beijing:_____ Hong Kong:_____ Other: ________________
Wish to participate in post conference tour:
Yes_____ tour no: _____ _____ _____ _____
If yes:
No _____ number of persons: _____
Accompanying persons wish to participate in the full social program:
Yes_____
If yes, number of persons: _____
No _____
Primary hotel choice (please write the number of persons in the
relevant box(es)):
East (Dong Fang) Hotel:
Double (40 $/day) _____
Single (30 $/day) _____
Guest rooms of GAST:
Double (20 $/day) _____
Single (12 $/day) _____
<paging ----------------------------------------------------------->
Application forms should be sent to:
Jianhua Yang
Department of Electrical Engineering and Computer Science
The Norwegian Institute of Technology
The University of Trondheim
N-7034 Trondheim
Norway
phone: +47-7-593677
+47-7-594460
facsimile:+47-7-594466
e.mail: yang@norunit.BITNET
yang%vax.runit.unit.uninett@tor.nta.no
yang@idt.unit.no
within March 7, 1988.
=============
Electronic mail applications are also acceptable.
∂28-Mar-88 0800 JMC
403 432-5189
∂28-Mar-88 1128 VAL
See slices[dra,val]
∂28-Mar-88 1327 VAL Commonsense and Nonmonotonic Reasoning Seminar
To: "@CS.DIS[1,VAL]"@SAIL.Stanford.EDU
From: Vladimir Lifschitz <VAL@SAIL.Stanford.EDU>
The meeting will be in room 252 -- this time only.
AUTOMATED INDUCTIVE REASONING ABOUT LOGIC PROGRAMS
Charles Elkan (elkan@iving.cs.cornell.edu)
Department of Computer Science
Cornell University
Friday, April 1, 3:15pm
MJH 252
David McAllester and I have developed a prototype theorem prover
that applies induction in a new way to prove properties of logic
programs. The soundness of the proof rules of our system follows
directly from the standard minimal model semantics of logic programs.
I shall describe the perspective on inductive theorem proving that
gave rise to our system, and then its architecture and proof rules,
using some varied examples of what it can prove. Then I shall raise
for discussion various plans for future work, both theoretical and
practical.
∂29-Mar-88 0032 yang%vax.runit.unit.uninett@TOR.nta.no re: IFIP Working Conf. in China, July 88.
Received: from tor.nta.no by SAIL.Stanford.EDU with TCP; 29 Mar 88 00:28:36 PST
Posted-Date: 29 Mar 88 10:08 +0100
Received: by tor.nta.no (5.54/3.21)
id AA23261; Tue, 29 Mar 88 10:10:41 +0200
Date: 29 Mar 88 10:08 +0100
From: Jianhua Yang <yang%vax.runit.unit.uninett@TOR.nta.no>
To: John McCarthy <JMC@SAIL.Stanford.EDU>
In-Reply-To: <8803281916.AA20488@tor.nta.no>
Message-Id: <165*yang@vax.runit.unit.uninett>
Subject: re: IFIP Working Conf. in China, July 88.
Dear Prof. John McCarthy,
Yes, the networks worked very well this time, and I received
your reply.
I need more pieces of information from you, in order to send
the list of participants in accordance with the request from
the Chinese organizers.
Could you please fill out the following and return it back to
me, soon:
Name (last, first middle): McCarthy, John
Title: ________________
Position: _____________
Nationality: USA
Passport no: 050056916
Affiliation: University of Stanford
Address: <I don't have your mail address, I have asked Prof. Meersman,
but he seems to be out of office now these days. You know it
is Easter holiday now everywhere>
City: ______________
State:______________
Zip: ______________
Country: USA
Phone: _______________
Fascimile:______________
Net address: <JMC@sail.stanford.EDU>
Accompanying persons, if any (name, nationality, passport no):
____________________________ ________________________________
Wish to participate in post conference tour:
(please specify the tour numbers in the order of preference)
Yes ____ Tour no: ___ ___ ___ ___
If Yes:
No ____ number of persons: ___
Accompanying persons wish to participate in the social program:
Yes ___
If Yes: number of persons: ____
No ___
Primary hotel choice (Please write the number of persons in the
relevant box(es)):
East (Dong Fang) Hotel:
Double ____
Single ____
Thanks a lot for your help!
Sincerely yours,
Jianhua Yang
<yang@norunit.BITNET>
<yang@idt.unit.no>
<yang%vax.runit.unit.uninett@tor.nta.no>
(Phone: +47-7-593677, secr.: -594460)
(Fascimile: +47-7-594466)
∂29-Mar-88 0707 LARSEN%UMDC.BITNET@forsythe.stanford.edu TTAC summary
Received: from lindy.stanford.edu by SAIL.Stanford.EDU with TCP; 29 Mar 88 06:49:11 PST
Received: by lindy.stanford.edu; Tue, 29 Mar 88 06:48:25 PST
Received: by Forsythe.Stanford.EDU; Tue, 29 Mar 88 06:47:13 PST
Received: by UMDC (Mailer X1.23b) id 3803; Tue, 29 Mar 88 09:38:50 EST
Date: Tue, 29 Mar 88 09:35:31 EST
From: Ron Larsen <LARSEN%UMDC.BITNET@forsythe.stanford.edu>
Subject: TTAC summary
To: John McCarthy <JMC@sail.stanford.edu>
Lou Paul, Ron Lumia, Del Tesar and I are planning on meeting
with Lee Holcomb at NASA HQ this Thursday to discuss the
TTAC's conclusions from the last meeting at JPL. I have
tried to summarize the key points in the following outline,
which we will use to guide the disussion. Please give this
a quick review and provide any comments or suggestions back
to me as quickly as possible. Thank you.
TeleRobotics Technology Advisory Committee (TTAC)
Summary of Results from Meeting No. 3
March 14-16, 1988
I. Program is technically sound and continually improving.
A. The TTAC endorses the TeleRobotics program thrusts on
issues of robustness and time insensitivity.
B. Marginal funding introduces confusion of purpose and
goals in testbed component.
II. Major progress is apparent over the past year.
A. Teleoperator laboratory demonstration
1. World-class 6 DOF force-reflecting hand
controller.
2. Demonstration system works.
B. Robotics laboratory testbed
1. Demonstration system works.
2. TeleRobot Interactive Planning System (TIPS) is
well conceived, fast, and on track to being an
effective component of the overall capability.
C. Projectized management organization.
1. Experienced project management is making a
substantial contribution to the effort.
D. Bright and aggressive young staff.
III. The TTAC advised JPL to focus improvement efforts in 5
areas.
A. System architecture
1. Teleoperation and autonomy cannot be pursued
separately. The system architecture must
seamlessly support both.
2. Consider using the JPL TeleRobotics Testbed to
quantitatively and qualitatively evaluate the
NASREM architecture.
B. System integration
1. Effective system integration will require
integration at architecturally higher levels of
abstraction than are provided by Ethernet
protocols.
C. Computational support
1. JPL should develop a 5-year plan for computational
support to the TeleRobotics program which would
enable program managers to step beyond immediate
resource constraints and programmatic pressures.
2. The TTAC requests to review the 5-year plan at its
next meeting, to be held in the Fall of 1988.
D. TeleRobot controls
1. The TTAC continues to encourage JPL to emphasize
reduced workspace calibration requirements.
2. The TTAC advises JPL to mount each robot arm on an
independently moveable base, and to mount the
cameras on independently positioned arms, in order
to provide a dynamic relationship between the arms
and tme cameras.
E. Senior scientific staff
1. The TTAC recognizes the excellent technical
leadership provided by senior members of the JPL
technical staff, such as Tony Bejczy and Carl
Ruoff. Similar mature leadership is advised for
other technical disciplines, such as controls,
artificial intelligence, and system architecture.
2. JPL is advised to seek creative ways of attracting
senior scientific leadership besides permanent
staff hiring.
a. Distinguished Visiting Scientist
b. Consultants
IV. The TTAC advised JPL to develop a generic task set
A. Start with seven applications areas advised by NASA HQ.
B. Matrix 7 applications against primitive (generic)
operations set.
C. Prepare primitive (generic) operations set for TTAC
review within 60 days.
D. Focus JPL program on generic primitives.
V. NASA is on the threshold of having a national resource.
A. Excellence is within reach.
B. Current funding is sub-marginal.
C. A major national opportunity is in jeopardy.
D. Industrial productivity spinoffs result from R&D
advances (OAST), not from flight hardware development
(OSS).
∂29-Mar-88 0800 JMC
Chris 422-7892
∂29-Mar-88 0904 RFN
TO: Prof. McCarthy
FROM: Rosemary
RE: Pat Simmons
will not be in today.
∂29-Mar-88 1316 wheaton@athena.stanford.edu Retreat
Received: from athena.stanford.edu by SAIL.Stanford.EDU with TCP; 29 Mar 88 13:15:59 PST
Received: by athena.stanford.edu (4.0/SMI-DDN)
id AA05138; Tue, 29 Mar 88 13:15:12 PST
Date: Tue, 29 Mar 88 13:15:12 PST
From: wheaton@athena.stanford.edu (George Wheaton)
Message-Id: <8803292115.AA05138@athena.stanford.edu>
To: JMC@SAIL.stanford.edu
In-Reply-To: John McCarthy's message of 28 Mar 88 1958 PST <8803290358.AA04707@athena.stanford.edu>
Subject: Retreat
May 27-29. Arrive after dinner Friday and go through Sunday morning.
George
∂29-Mar-88 1324 VAL re: YSP
[In reply to message rcvd 29-Mar-88 09:37-PT.]
I agree. Here is a formulation that allows additional events. It can be used
with both discrete and continuous time. Notation: success(e,t) stands for
occurs(e,t) ∧ ∀f[precond(f,e) ⊃ value(f,t) = true],
and affects(e,f,t) stands for
success(e,t) ∧ ∃v causes(e,f,v).
The law of change:
success(e,t) ∧ causes(e,f,v) ⊃ ∃t'[t<t' ∧ ∀t''(t<t''≤t' ⊃ value(f,t'') = v)].
The law of inertia:
t<t' ∧ ¬∃et''[t≤t''<t' ∧ affects(e,f,t')] ⊃ value(f,t') = value(f,t).
We minimize "occurs" along with "causes" and "precond".
∂29-Mar-88 1329 Qlisp-mailer Meeting
Received: from Gang-of-Four.Stanford.EDU by SAIL.Stanford.EDU with TCP; 29 Mar 88 13:29:40 PST
Received: from localhost by Gang-of-Four.Stanford.EDU (4.30/25-eef)
id AA04625; Tue, 29 Mar 88 13:28:29 pst
Message-Id: <8803292128.AA04625@Gang-of-Four.Stanford.EDU>
To: qlisp@Gang-of-Four.Stanford.EDU
Subject: Meeting
Date: Tue, 29 Mar 88 13:28:28 PST
From: rivin@Gang-of-Four.Stanford.EDU
There will be a qlisp meeting tomorrow (Wednesday the 30th of March),
at noon in MJH 301. The agenda will mostly consist in bringing everyone
up to date, so that we start the new quarter in a consistent state.
CU there
Igor
∂29-Mar-88 1442 Qlisp-mailer new new-qlisp
Received: from Gang-of-Four.Stanford.EDU by SAIL.Stanford.EDU with TCP; 29 Mar 88 14:42:33 PST
Received: from labrea.Stanford.EDU by Gang-of-Four.Stanford.EDU (4.30/25-eef)
id AA05188; Tue, 29 Mar 88 14:41:22 pst
Received: by labrea.Stanford.EDU; Tue, 29 Mar 88 14:42:00 PST
Received: from kolyma.lucid.com by edsel id AA10240g; Tue, 29 Mar 88 14:31:05 PST
Received: by kolyma id AA16195g; Tue, 29 Mar 88 14:31:47 PST
Date: Tue, 29 Mar 88 14:31:47 PST
From: Carol Sexton <edsel!carol@labrea.Stanford.EDU>
Message-Id: <8803292231.AA16195@kolyma.lucid.com>
To: qlisp@Gang-of-Four.Stanford.EDU
Subject: new new-qlisp
I'm going to install a new new-qlisp this afternoon.
This lisp has a per function cache for free references.
You will also be able to locally declare a variable to be
global. Note, however, that globalp just checks whether or
not a variable has been proclaimed global. Let me know of
any bugs you encounter in this new lisp.
Carol
∂29-Mar-88 1825 LARSEN%UMDC.BITNET@forsythe.stanford.edu re: TTAC summary
Received: from lindy.stanford.edu by SAIL.Stanford.EDU with TCP; 29 Mar 88 18:25:21 PST
Received: by lindy.stanford.edu; Tue, 29 Mar 88 17:18:28 PST
Received: by Forsythe.Stanford.EDU; Tue, 29 Mar 88 17:17:25 PST
Received: by UMDC (Mailer X1.23b) id 0051; Tue, 29 Mar 88 20:16:53 EST
Date: Tue, 29 Mar 88 20:16:24 EST
From: Ron Larsen <LARSEN%UMDC.BITNET@forsythe.stanford.edu>
Subject: re: TTAC summary
In-Reply-To: Message received on Tue, 29 Mar 88 12:35:22 EST
To: John McCarthy <JMC@sail.stanford.edu>
Thanks for the suggestion. I'll try to work it into the summary.
∂29-Mar-88 1854 rms%venus.Berkeley.EDU@Berkeley.EDU
Received: from venus.Berkeley.EDU by SAIL.Stanford.EDU with TCP; 29 Mar 88 18:54:01 PST
Received: by venus.Berkeley.EDU (5.57/1.25)
id AA12177; Tue, 29 Mar 88 18:08:39 PST
Date: Tue, 29 Mar 88 18:08:39 PST
From: rms%venus.Berkeley.EDU@Berkeley.EDU (Richard Stallman)
Message-Id: <8803300208.AA12177@venus.Berkeley.EDU>
To: jmc@sail.stanford.edu
Reply-To: rms@wheaties.ai.mit.edu
Have you posted the message Paul Rubin sent you?
The reason for not posting under my name is that my views are much
more radical than those of the other people who want to protest.
Many people who disagree with me would agree with the position
taken by this group, and I would not want them to assume, from seeing
my name, that they do not want to join.
∂29-Mar-88 2115 BEDIT@Score.Stanford.EDU Summary of February computer charges.
Received: from Score.Stanford.EDU by SAIL.Stanford.EDU with TCP; 29 Mar 88 21:15:27 PST
Date: Tue 29 Mar 88 21:08:43-PST
From: Billing Editor <BEDIT@Score.Stanford.EDU>
Subject: Summary of February computer charges.
To: MCCARTHY@Score.Stanford.EDU
Message-ID: <12386360201.9.BEDIT@Score.Stanford.EDU>
Dear Mr. McCarthy,
Following is a summary of your computer charges for February.
Account System Billed Pct Cpu Job Disk Print Adj Total
JMC SAIL 2-DMA705T 100 336.02 216.34 ***.** 21.39 5.00 3222.05
MCCARTHY SCORE 2-DMA705T 100 .00 .00 9.62 .00 5.00 14.62
MCCARTHY SUSHI SUSHI 100 .00 .00 .00 .00 .00 .00
Total: 336.02 216.34 ***.** 21.39 10.00 3236.67
University budget accounts billed above include the following.
Account Principal Investigator Title
2-DMA705 McCarthy N00039-84-C-0211
The preceding statement is a condensed version of the detailed summary sheet
sent monthly to your department.
Please verify each month that the proper university budget accounts are paying
for your computer usage. Please also check the list of account numbers below
the numeric totals. If the organizations/people associated with that account
number should NOT be paying for your computer time, send mail to BEDIT@SCORE.
Please direct questions/comments to BEDIT@SCORE.
-------
∂30-Mar-88 1209 helen@psych.Stanford.EDU Hi, would you
Received: from psych.Stanford.EDU by SAIL.Stanford.EDU with TCP; 30 Mar 88 12:09:10 PST
Received: by psych.Stanford.EDU (3.2/4.7); Wed, 30 Mar 88 12:04:59 PST
Date: Wed, 30 Mar 88 12:04:59 PST
From: helen@psych.Stanford.EDU (Helen Cunningham)
To: jmc@sail
Subject: Hi, would you
be willing and able to meet up at the coffee house (or faculty club)
at 1 p.m., instead of out front? I have a meeting in that vicinity.
If you don't wish to meet there, could we meet just a little later,
say 1:10 p.m.?
Regards,
-helen
∂31-Mar-88 0831 MPS Publisher
Sarah Allen of SRA Chicago (312) 984-7198 call for her boss
Nancy Osman who will be here on the 14th of April. Nancy
would like to see you for about 30 minutes to discuss textbooks,
either writing, editing, reviewing, or what should be on the market
in your subject.
Pat
∂31-Mar-88 1636 VAL Reminder: Commonsense and Nonmonotonic Reasoning Seminar
To: "@CS.DIS[1,VAL]"@SAIL.Stanford.EDU
From: Vladimir Lifschitz <VAL@SAIL.Stanford.EDU>
AUTOMATED INDUCTIVE REASONING ABOUT LOGIC PROGRAMS
Charles Elkan (elkan@iving.cs.cornell.edu)
Department of Computer Science
Cornell University
Friday, April 1, 3:15pm
MJH 252
David McAllester and I have developed a prototype theorem prover
that applies induction in a new way to prove properties of logic
programs. The soundness of the proof rules of our system follows
directly from the standard minimal model semantics of logic programs.
I shall describe the perspective on inductive theorem proving that
gave rise to our system, and then its architecture and proof rules,
using some varied examples of what it can prove. Then I shall raise
for discussion various plans for future work, both theoretical and
practical.
∂31-Mar-88 1718 beeson%ucscd.UCSC.EDU@ucscc.UCSC.EDU reprint request
Received: from ucscd.UCSC.EDU by SAIL.Stanford.EDU with TCP; 31 Mar 88 17:18:52 PST
Received: by ucscd.UCSC.EDU (5.57/1.1)
id AA20994; Thu, 31 Mar 88 17:19:26 PST
Date: Thu, 31 Mar 88 17:19:26 PST
From: beeson%ucscd.UCSC.EDU@ucscc.UCSC.EDU (20012000)
Message-Id: <8804010119.AA20994@ucscd.UCSC.EDU>
To: jmc@sail.stanford.edu
Subject: reprint request
saw a reference to an article of yours in Daedalus 117(1) 297-311,
Winter 1988. If you have reprints would you please send me one:
Michael Beeson
Dep
t. of Math and Computer Science
San Jose State Univ.
San Jose CA 95192